Marieke Huisman: Z-Library में खोज करें

ज्ञान और संस्कृति के लिए आपका प्रवेश द्वार। सभी के लिए सुलभ।

Don't use scam websites

पुस्तकें (25)
सबसे लोकप्रिय
- इसके अनुसार क्रमबद्ध करें×
- सबसे लोकप्रिय
- सबसे अच्छा मिलान
- हाल ही में जोड़ी गई पुस्तकें
- शीर्षक के अनुसार (A-Z)
- शीर्षक के अनुसार (Z-A)
- साल के अनुसार
- फ़ाइल आकार ↓
- फ़ाइल आकार ↑
सूची
- सूची
- टेबल

1

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Springer International Publishing

Dirk Beyer, Marieke Huisman

साल:

2018

भाषा:

english

फ़ाइल:

PDF, 18.68 MB

0 / 0

english, 2018

2

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Springer International Publishing

Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen

साल:

2019

भाषा:

english

फ़ाइल:

PDF, 9.90 MB

0 / 0

english, 2019

3

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Springer International Publishing

Dirk Beyer, Marieke Huisman

साल:

2018

भाषा:

english

फ़ाइल:

PDF, 18.46 MB

0 / 0

english, 2018

4

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

David Aspinall, Stephen Gilmore (auth.), Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean (eds.)

साल:

2005

भाषा:

english

फ़ाइल:

PDF, 4.02 MB

0 / 0

english, 2005

5

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018...

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018...

Saint Philip Street Press

Marieke Huisman & Dirk Beyer [Huisman, Marieke & Beyer, Dirk]

साल:

2020

भाषा:

english

फ़ाइल:

EPUB, 6.00 MB

0 / 0

english, 2020

6

Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

Springer-Verlag Berlin Heidelberg

Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll (auth.), Didier Bert, Christine Choppy, Peter D. Mosses (eds.)

साल:

2000

भाषा:

english

फ़ाइल:

PDF, 3.26 MB

0 / 0

english, 2000

7

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

Marieke Huisman & António Ravara & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

साल:

2023

भाषा:

english

फ़ाइल:

PDF, 6.81 MB

0 / 5.0

english, 2023

8

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

David Aspinall, Stephen Gilmore (auth.), Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean (eds.)

साल:

2005

भाषा:

english

फ़ाइल:

PDF, 4.23 MB

0 / 0

english, 2005

9

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Claudio A. Ardagna, Marco Cremonini (auth.), Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet (eds.)

साल:

2006

भाषा:

english

फ़ाइल:

PDF, 1.73 MB

0 / 0

english, 2006

10

Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

Springer-Verlag Berlin Heidelberg

Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll (auth.), Didier Bert, Christine Choppy, Peter D. Mosses (eds.)

साल:

2000

भाषा:

english

फ़ाइल:

PDF, 4.34 MB

0 / 0

english, 2000

11

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer & Marieke Huisman

साल:

2018

भाषा:

english

फ़ाइल:

PDF, 20.54 MB

0 / 0

english, 2018

12

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer & Marieke Huisman & Fabrice Kordon & Bernhard Steffen

साल:

2019

भाषा:

english

फ़ाइल:

PDF, 9.84 MB

0 / 0

english, 2019

13

Concise Guide to Software Verification: From Model Checking to Annotation Checking

Concise Guide to Software Verification: From Model Checking to Annotation Checking

Marieke Huisman, Anton Wijs

साल:

2023

भाषा:

english

फ़ाइल:

PDF, 8.66 MB

0 / 5.0

english, 2023

14

Concise Guide to Software Verification. From Model Checking to Annotation Checking

Concise Guide to Software Verification. From Model Checking to Annotation Checking

Marieke Huisman, Anton Wijs

साल:

2023

भाषा:

english

फ़ाइल:

PDF, 8.66 MB

0 / 0

english, 2023

15

Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Springer-Verlag Berlin Heidelberg

Marieke Huisman, Julia Rubin (eds.)

साल:

2017

भाषा:

english

फ़ाइल:

PDF, 22.79 MB

0 / 0

english, 2017

16

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Marieke Huisman, Corina Păsăreanu, Naijun Zhan

साल:

2021

भाषा:

english

फ़ाइल:

PDF, 32.66 MB

0 / 0

english, 2021

17

Concise Guide to Software Verification : From Model Checking to Annotation Checking

Concise Guide to Software Verification : From Model Checking to Annotation Checking

Springer International Publishing

Marieke Huisman, Anton Wijs

साल:

2023

भाषा:

english

फ़ाइल:

EPUB, 39.48 MB

0 / 5.0

english, 2023

18

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings

Jan Friso Groote, Marieke Huisman

साल:

2022

भाषा:

english

फ़ाइल:

PDF, 13.09 MB

0 / 5.0

english, 2022

19

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Marieke Huisman, Corina Păsăreanu, Naijun Zhan

साल:

2021

भाषा:

english

फ़ाइल:

EPUB, 76.24 MB

0 / 0

english, 2021

20

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

Marieke Huisman, Anton Wijs

साल:

2023

भाषा:

english

फ़ाइल:

RAR, 50.11 MB

0 / 4.5

english, 2023

21

Smart Card Research and Advanced Applications VI: IFIP 18th World Computer Congress TC8/WG8.8 & TC11/WG11.2 Sixth International Conference on Smart Card Research and Advanced Applications (CARDIS) 22–27 August 2004 Toulouse, France

Smart Card Research and Advanced Applications VI: IFIP 18th World Computer Congress TC8/WG8.8 & TC11/WG11.2 Sixth International Conference on Smart Card Research and Advanced Applications (CARDIS) 22–27 August 2004 Toulouse, France

Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet (auth.), Jean-Jacques Quisquater, Pierre Paradinas, Yves Deswarte, Anas Abou El Kalam (eds.)

साल:

2004

भाषा:

english

फ़ाइल:

PDF, 12.56 MB

0 / 0

english, 2004

22

Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Springer International Publishing

Erika Ábrahám, Marieke Huisman (eds.)

साल:

2016

भाषा:

english

फ़ाइल:

PDF, 24.74 MB

0 / 0

english, 2016

23

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Claudio A. Ardagna, Marco Cremonini (auth.), Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet (eds.)

साल:

2006

भाषा:

english

फ़ाइल:

PDF, 2.20 MB

0 / 0

english, 2006

24

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Marieke Huisman, Corina Păsăreanu, Naijun Zhan

साल:

2021

भाषा:

english

फ़ाइल:

PDF, 32.66 MB

0 / 0

english, 2021

25

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Marieke Huisman, Corina Păsăreanu, Naijun Zhan

साल:

2021

भाषा:

english

फ़ाइल:

EPUB, 76.24 MB

0 / 0

english, 2021